package br.usp.jnetictest.test;

import com.google.java.contract.Ensures;
import com.google.java.contract.Requires;

//@Invariant({ "value" })
public class ClasseComAnnotations {

	
	public ClasseComAnnotations(){}
	
	public ClasseComAnnotations(Integer a, Integer b) {}
	
	@Ensures({ "result == a + b" })
	@Requires({ "a > 0", "b > 0" })
	public int somar(int a, int b, String t, Pessoa p) {
		return a + b;
	}
	
	public void somar(){}
}
